2341. 1940-The search for mathematical roots, 1870
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Arithmetic ; Foundations. ; Set theory ; History ; 19th century. ; Set theory ; History ; 20th century. ; Logic, Symbolic and mathematical ; History ; 19th century. ; Logic, Symbolic and mathematical ; History ; 20th century. ;
2342. The search for mathematical roots, 1870-1940
Author: / I. Grattan-Guinness
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Arithmetic--Foundations--History--19th century,Arithmetic--Foundations--History--20th century,Set theory--History--19th century,Set theory--History--20th century,Logic, Symbolic and mathematical--History--19th century,Logic, Symbolic and mathematical--History--20th century
Classification :
QA
,
248
,.
G684
,
2000
2343. The search for mathematical roots, 1870-1940
Author: / I. Grattan-Guinness
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Arithmetic- Foundations- History 19th century,Arithmetic- Foundations- History 20th century,Set theory- History 19th century,Set theory- History 20th century,Logic, Symbolic and mathematical- History 19th century,Logic, Symbolic and mathematical- History 20th century
Classification :
QA248
.
G684
2000
2344. The semantic foundations of logic
Author: Epstein, Richard L.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic,، Logic, Symbolic and mathematical,، Semantics
Classification :
BC
71
.
E57
1995
2345. The semantic foundations of logic
Author: Richard L. Epstein; with the assist. & coll. of Walter A. Carnielli...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic,، Logic, Symbolic and mathematical,، Semantics
Classification :
BC
71
.
E56
2346. The semantic foundations of logic
Author: Epstein, Richard L.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Logic , Logic, Symbolic and mathematical, Semantics
Classification :
BC
71
.
E57
1994
2347. The semantic foundations of logic
Author: / Richard L.Epstein,with the assistance and collaboration of Walter A.Carnielli...[et al.]
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Logic,Logic,symbolic and mathematical,Semantics
Classification :
160
E64s
2348. The semantics and proof theory of the logic of bunched implications
پدیدآورنده : By David J. Pym
موضوع : Logic, Symbolic and mathematical.
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
2349. The strange logic of random Graphs
Author: / Joel Spencer
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Random graphs,Logic, Symbolic and mathematical
Classification :
QA
166
.
17
.
S64
2001
2350. The strange logic of random graphs
Author: Spencer, Joel H.
Library: Central Library and Documentation Center (Semnan)
Subject: ، Random graphs,، Logic, Symbolic and mathematical
Classification :
QA
166
.
17
.
S64
2001
2351. The strange logic of random graphs
Author: Joel Spencer
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Random graphs,، Logic, Symbolic and mathematical
Classification :
QA
166
.
17
.
S64
2352. The structure of models of Peano arithmetic
Author: Roman Kossak, James H. Schmerl
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Peano, Giuseppe, 8581-2391,Problems, exercises, etc ، Logic, Symbolic and mathematical,، Isomorphisms )Mathematics(,Problems, exercises, etc ، Isomorphisms )Mathematics(
Classification :
QA
9
.
7
.
K68S7
2353. The structure of models of Peano arithmetic
Author: Kossak, Roman
Library: Central Library and Documentation Center (Semnan)
Subject: ، Logic, Symbolic and mathematical,، Peano, Giuseppe--8581-2391,، Logic, Symbolic and mathematica--roblems, exercises, etc,، Isomorphisms )Mathematics(,، Isomorphisms )Mathematics--roblems, exercises, etc
Classification :
QA
9
.
7
.
K67
2006
2354. The structure of models of Peano arithmetic
Author: Roman Kossak, James H. Schmerl
Library: Vali Asr University Central Library (Kerman)
Subject: Logic, Symbolic and mathematical,Peano, Giuseppe,- 1858-1932,Logic, Symbolic and mathematical- Problems, exercises, etc,Isomorphisms )Mathematics(,Isomorphisms )Mathematics(- Problems, exercises, etc
Classification :
QA
9
.
7
.
K67
2006
2355. The symbolic computation of integrability structures for partial differential equations /
Author: Joseph Krasil'shchik, Alexander Verbovetsky, Raffaele Vitolo.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Differential equations, Partial.,Geometry, Differential.,Logic, Symbolic and mathematical.,Differential calculus & equations.,Differential equations, Partial.,Geometry, Differential.,Logic, Symbolic and mathematical.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,Maths for computer scientists.
Classification :
QA377
2356. The technique of theory construction
Author: by J. H. Woodger
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
Q
121
.
I5
Vol
.
2
No
.
5
2357. The temporal logic of reactive and concurrent systems
Author: Manna, Zohar
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
M3564
1991
2358. <The> theory of models
Author: / Edited by J.W. Addison, Lعeon Henkin [and] Alfred Tarski
Library: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
Subject:
Classification :
BC135
،.
I5
1965
2359. The theory of models
Author: edited by J.W. Addison, Leon Henkin, Alfred Tarski.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical, Congresses.,Mathematical models, Congresses.
2360. The theory of models; proceedings
Author: / Edited by J.W. Addison, Leon Henkin (and) Alfred Tarski
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical -- Congresses,Mathematical models -- Congresses
Classification :
BC
135
.
I586
1963
